Polytope Offsets and Straight Skeletons in 3D ∗ Franz Aurenhammer Gernot Walzl Institute for Theoretical Computer Science

Source URL: www.igi.tugraz.at

Theoretical Computer Science – 258 www.elsevier.com/locate/tcs An optical model of computation Damien Woods∗,1 , Thomas J. Naughton TASS Research Group, Department of Computer Science, National Univers

Source URL: www.cs.nuim.ie

Theoretical Computer Science–259 www.elsevier.com/locate/tcs Restriction categories I: categories of partial maps J.R.B. Cocketta;∗;1 , Stephen Lackb; 2

Source URL: pages.cpsc.ucalgary.ca

Degrees of undecidability of in Term Rewriting J¨org Endrullis, Herman Geuvers, Hans Zantema Radboud University Nijmegen, Technical University Eindhoven, Free University Amsterdam, The Netherlands CSL 2009

Source URL: www.cs.ru.nl

• Theoretical computer science
• Mathematics
• Logic
• Mathematical logic
• Formal languages
• Logic in computer science
• Automated theorem proving
• Logic programming
• Rewriting
• Confluence
• Rewrite order
• Substitution

A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t

Source URL: software.imdea.org

• Theoretical computer science
• Logic in computer science
• Formal methods
• Mathematical logic
• KeY
• Formal verification
• Dynamic logic
• Automated theorem proving
• Logic
• Language-based security

Case-Analysis for Rippling and Inductive Proof Moa Johansson1 , Lucas Dixon2 , and Alan Bundy2 1 Dipartimento di Informatica, Universit` a degli Studi di Verona

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Theoretical computer science
• Mathematical logic
• Mathematics
• Rippling
• IsaPlanner
• Mathematical proof
• Resolution
• Unification
• Mathematical induction
• Triviality

IsaPlanner: A Prototype Proof Planner in Isabelle Lucas Dixon and Jacques Fleuriot ?

Source URL: dream.inf.ed.ac.uk

• Automated theorem proving
• Theoretical computer science
• Mathematical logic
• Mathematics
• IsaPlanner
• Automated reasoning
• Isabelle
• Rippling
• Mathematical proof
• Interactive Theorem Proving
• Theorem
• Mathematical induction

Avinatan Hassidim Bar Ilan University Ramat GanIsrael. Email: Email: Email: URL: http://www2.lns.mit.edu/∼avinatan

Source URL: www2.lns.mit.edu

• Theoretical computer science
• John Watrous
• Quantum information
• QIP
• Quantum algorithm for linear systems of equations
• Quantum computing
• Symposium on Foundations of Computer Science

Representing Streams in Second Order Logic (Coinduction and Coalgebra in Second Order Logic) Herman Geuvers Radboud University Nijmegen and

Source URL: www.cs.ru.nl

• Category theory
• Mathematics
• Theoretical computer science
• Software engineering
• Functional programming
• Computer programming
• Recursion
• F-coalgebra
• Coinduction
• Coalgebra
• Corecursion
• First-order logic

Capacity-restraint railway transport assignment at SBB-Passenger Johannes Lieberherr, SBB-Passenger Elisabeth Pritscher, SBB-Passenger Conference paper STRC 2012

Source URL: www.strc.ch

• Algorithm
• Mathematical logic
• Theoretical computer science
• Passenger load factor
• Economic equilibrium
• Academia
• Route assignment